منابع مشابه
Inversive meadows and divisive meadows
An inversive meadow is a commutative ring with identity and a total multiplicative inverse operation satisfying 0 = 0. Previously, inversive meadows were shortly called meadows. In this paper, we introduce divisive meadows, which are inversive meadows with the multiplicative inverse operation replaced by a division operation. We introduce a translation from the terms over the signature of divis...
متن کاملThe future of seagrass meadows
Seagrasses cover about 0.1–0.2% of the global ocean, and develop highly productive ecosystems which fulfil a key role in the coastal ecosystem. Widespread seagrass loss results from direct human impacts, including mechanical damage (by dredging, fishing, and anchoring), eutrophication, aquaculture, siltation, effects of coastal constructions, and food web alterations; and indirect human impacts...
متن کاملArithmetical meadows
An inversive meadow is a commutative ring with identity equipped with a total multiplicative inverse operation satisfying 0 −1 = 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and ...
متن کاملDifferential Meadows
A meadow is a zero totalised field (0 = 0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a d...
متن کاملThe future of seagrass meadows
Seagrasses cover about 0.1–0.2% of the global ocean, and develop highly productive ecosystems which fulfil a key role in the coastal ecosystem. Widespread seagrass loss results from direct human impacts, including mechanical damage (by dredging, fishing, and anchoring), eutrophication, aquaculture, siltation, effects of coastal constructions, and food web alterations; and indirect human impacts...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2010
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1278682205